type go/types.term
41 uses
go/types (current package)
builtins.go#L970: if !tp.is(func(t *term) bool {
conversions.go#L252: return Vp.is(func(V *term) bool {
conversions.go#L257: return Tp.is(func(T *term) bool {
conversions.go#L270: return Vp.is(func(V *term) bool {
conversions.go#L282: return Tp.is(func(T *term) bool {
infer.go#L615: return tset.is(func(t *term) bool {
infer.go#L655: func coreTerm(tpar *TypeParam) (*term, bool) {
infer.go#L657: var single *term // valid if n == 1
infer.go#L659: tpar.is(func(t *term) bool {
infer.go#L682: return &term{tilde, typ}, false
instantiate.go#L345: if Ti.typeSet().is(func(t *term) bool {
operand.go#L337: return Tp.is(func(t *term) bool {
operand.go#L417: Tp.is(func(T *term) bool {
operand.go#L438: Vp.is(func(V *term) bool {
predicates.go#L62: return tpar.is(func(t *term) bool { return t != nil && isBasic(t.typ, info) })
termlist.go#L17: type termlist []*term
termlist.go#L21: var allTermlist = termlist{new(term)}
termlist.go#L142: func (xl termlist) supersetOf(y *term) bool {
typeparam.go#L157: func (t *TypeParam) is(f func(*term) bool) bool {
typeset.go#L49: return s.is(func(t *term) bool {
typeset.go#L138: func (s *_TypeSet) is(f func(*term) bool) bool {
typeset.go#L399: terms = termlist{(*term)(t)}
typeterm.go#L16: type term struct {
typeterm.go#L21: func (x *term) String() string {
typeterm.go#L35: func (x *term) equal(y *term) bool {
typeterm.go#L49: func (x *term) union(y *term) (_, _ *term) {
typeterm.go#L81: func (x *term) intersect(y *term) *term {
typeterm.go#L109: func (x *term) includes(t Type) bool {
typeterm.go#L127: func (x *term) subsetOf(y *term) bool {
typeterm.go#L155: func (x *term) disjoint(y *term) bool {
union.go#L37: type Term term
union.go#L44: func (t *Term) String() string { return (*term)(t).String() }
union.go#L184: if !(*term)(x).disjoint((*term)(y)) {
The pages are generated with Golds v0.7.6. (GOOS=linux GOARCH=amd64)